Lean 4
gpt.icon
Lean 4は、高性能なプログラミング言語兼
形式的証明
支援システムで、数学定理の形式化や検証を効率的に行うためのツールです。
形式証明